DMCA

Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming (2005)

by Hans Tompits , Stefan Woltran
Venue:ICLP 2005. LNCS
Citations:12 - 9 self