Multiple Query Satisfiability of Constrained Horn Clauses.

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti

Browse the full PADL paper archive.