"Combining Logic Programs and Monadic Second Order Logics by Program ..."

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics