Magically constraining the inverse method using dynamic polarity assignment (2010)

by K Chaudhuri
Venue:Proc. 17th Int. Conf. on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), volume 6397 of LNCS