Found: 1
Select item for more details and to access through your institution.
Decision procedures and model building in equational clause logic.
- Published in:
- Logic Journal of the IGPL, 1998, v. 6, n. 1, p. 17, doi. 10.1093/jigpal/6.1.17
- By:
- Publication type:
- Article