"Classical" Negation in Non-Monotonic Reasoning and Logic Programming (1998)

by José Alferes , Luís Moniz Pereira , Teodor C. Przymusinski
Citations:38 - 23 self