Sabou M, Käsznar K, Zlabinger M, Biffl S, Winkler D. Verifying Extended Entity Relationship Diagrams with Open Tasks. HCOMP [Internet]. 2020 Oct. 1 [cited 2026 May 10];8(1):132-40. Available from: https://ojs.aaai.org/index.php/HCOMP/article/view/7471