Stable models and an alternative logic programming paradigm (1999)

by Victor W. Marek
Venue:In The Logic Programming Paradigm: a 25-Year Perspective
Citations:254 - 18 self