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