DMCA

Grounding for model expansion in k-guarded formulas with inductive definitions (2007)

by Murray Patterson , Yongmei Liu , Eugenia Ternovska , Arvind Gupta
Venue:In IJCAI
Citations:12 - 6 self