Deakstadieđáhus: Logic programming : proceedings of the 1991 international symposium / edited by Vijay Saraswat and Kazunori Ueda.