Decidability of All Minimal Models (1995)

by V Padovani
Venue:TYPES1995,Lecture Notes in Computer Science 1158