Automated Generation of Consistent Graph Models with First-Order Logic Theorem Provers.

Aren A. Babikian, Oszkr Semerth, Dniel Varr

Browse the full FASE paper archive.