Antitonic logic programs (2001)

by C V Damásio, L M Pereira
Venue:In Proc. Logic Programming and Nonmonotonic Reasoning, LPNMR’01