A Finitary Version of the Calculus of Partial Inductive Definitions (1992)

Cached

Download Links

by Lars-henrik Eriksson
Venue:Extensions of Logic Programming
Citations:28 - 1 self