Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking.

Michael Leuschel, Stefan Gruner

Browse the full LOPSTR paper archive.