L.M.: Monotonic and residuated logic programs (2001)

by C V Damásio, Pereira
Venue:ECSQARU 2001. LNCS (LNAI