by GORLIN, ANDREY, RAMAKRISHNAN, C. R., SMOLKA, SCOTT A.
Published in Theory and practice of logic programming (01.07.2012)

by Gorlin, Andrey, Ramakrishnan, C. R
Year of Publication 20.04.2016

by Gorlin, Andrey, Ramakrishnan, C R
Published in arXiv.org (09.05.2017)

by Gorlin, Andrey, Ramakrishnan, C. R, Smolka, Scott A
Year of Publication 20.04.2012

by Gorlin, Andrey, Ramakrishnan, C R, Smolka, Scott A
Published in arXiv.org (20.04.2012)