Declarative encodings of acyclicity properties

Martin Gebser^*, Tomi Janhunen, Jussi Rintanen

^*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Computer Science