Logic programs with classical negation (0)

by M Gelfond, V Lifschitz