Proving Behavioural Theorems with Standard First-Order Logic

• Authors:

• Michel Bidoit;Rolf Hennicker

• Affiliations:

• -;-

• Venue:
• ALP '94 Proceedings of the 4th International Conference on Algebraic and Logic Programming
• Year:
• 1994