Didier Galmiche, Dominique Larchey-Wendling. Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic. In P. S. Thiagarajan, Roland H. C. Yap, editors, Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings. Volume 1742 of Lecture Notes in Computer Science, pages 101-112, Springer, 1999. [doi]
@inproceedings{GalmicheL99, title = {Structural Sharing and Efficient Proof-Search in Propositional Intuitionistic Logic}, author = {Didier Galmiche and Dominique Larchey-Wendling}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1742/17420101.htm}, tags = {logic, search}, researchr = {https://researchr.org/publication/GalmicheL99}, cites = {0}, citedby = {0}, pages = {101-112}, booktitle = {Advances in Computing Science - ASIAN 99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings}, editor = {P. S. Thiagarajan and Roland H. C. Yap}, volume = {1742}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66856-X}, }