SMS versenden: Logic programming : proceedings of the North American conference, 1989 / edited by Ewing L. Lusk and Ross A. Overbeek.