Paritition-based logical reasoning (2000)

by Eyal Amir , Sheila Mcilraith
Venue:In Proc. KR ’2000
Citations:57 - 15 self