## Michel Bidoit, Rolf Hennicker

*Proving Behavioural Theorems with Standard First-Order Logic*

PPDP, 1994.

@inproceedings{ALP-1994-BidoitH, author = "Michel Bidoit and Rolf Hennicker", booktitle = "{Proceedings of the Fourth International Conference on Algebraic and Logic Programming}", doi = "10.1007/3-540-58431-5_6", isbn = "3-540-58431-5", pages = "41--58", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proving Behavioural Theorems with Standard First-Order Logic}", volume = 850, year = 1994, }