A tool for circumscriptionbased mus membership testing (2011)

by Mikoláš Janota, Joao Marques-Silva
Venue:Logic Programming and Nonmonotonic Reasoning, volume 6645 of Lecture Notes in Computer Science