Program Tactics and Logic Tactics.

Fausto Giunchiglia, Paolo Traverso

Browse the full LPAR paper archive.