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

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