%0 Conference Paper %1 conf/lp/KawamuraOM87 %A Kawamura, Toshio %A Ohwada, Hayato %A Mizoguchi, Fumio %B LP %D 1987 %E Furukawa, Koichi %E Tanaka, Hozumi %E Fujisaki, Tetsunosuke %I Springer %K dblp %P 19-39 %T CS-Prolog: A Generalized Unification Based Constraint Solver. %U http://dblp.uni-trier.de/db/conf/lp/lp87.html#KawamuraOM87 %V 315 %@ 3-540-19426-6

@inproceedings{conf/lp/KawamuraOM87, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kawamura, Toshio and Ohwada, Hayato and Mizoguchi, Fumio}, biburl = {https://www.bibsonomy.org/bibtex/2573caf9b1878bf1e2bd8204e01513a93/dblp}, booktitle = {LP}, crossref = {conf/lp/1987}, editor = {Furukawa, Koichi and Tanaka, Hozumi and Fujisaki, Tetsunosuke}, ee = {https://doi.org/10.1007/3-540-19426-6_2}, interhash = {1cccc13edb182554cae7fe10654c8b91}, intrahash = {573caf9b1878bf1e2bd8204e01513a93}, isbn = {3-540-19426-6}, keywords = {dblp}, pages = {19-39}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:19:50.000+0200}, title = {CS-Prolog: A Generalized Unification Based Constraint Solver.}, url = {http://dblp.uni-trier.de/db/conf/lp/lp87.html#KawamuraOM87}, volume = 315, year = 1987 }