Logic programming : proceedings of the 1993 International Symposium - Miller, Dale; Association for Logic Programming; International Symposium on Logic Programming (Logic programming, 1993)