## Olav Lysne

*Proof by Consistency in Constructive Systems with Final Algebra Semantics*

PPDP, 1992.

@inproceedings{ALP-1992-Lysne, author = "Olav Lysne", booktitle = "{Proceedings of the Third International Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0013832", isbn = "3-540-55873-X", pages = "276--290", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Proof by Consistency in Constructive Systems with Final Algebra Semantics}", volume = 632, year = 1992, }