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

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Browse the full LOPSTR paper archive.