How to Prove Observational Theorems with LP

• Authors:

• Michel Bidoit;Rolf Hennicker

• Affiliations:

• -;-

• Venue:
• Proceedings of the first First International Workshop on Larch
• Year:
• 1992