Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi. CS-Prolog: A Generalized Unification Based Constraint Solver. In Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki, editors, Logic Programming 87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987. Volume 315 of Lecture Notes in Computer Science, pages 19-39, Springer, 1987.
Abstract is missing.