---
title: "Theorem Proving with Structure Sharing and Efficient Unification"
authors:
  - "Alberto Martelli"
  - "Ugo Montanari"
doi: ""
url: "https://ijcai.org/proceedings/1977/124"
pdf: "https://ijcai.org/proceedings/1977/0124.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "543--1"
track: "Theorem Proving"
keywords:
---

# Theorem Proving with Structure Sharing and Efficient Unification

Alberto Martelli, Ugo Montanari

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 543--1.

## Abstract