A Fixpoint Semantics for Reasoning about Finite Failure.

Roberta Gori

Browse the full LPAR paper archive.