Logic programming : proceedings of the 1993 international symposium - Miller, Dale (MIT, 1993)