%0 Conference Paper %1 conf/lics/KirchnerL87 %A Kirchner, Claude %A Lescanne, Pierre %B LICS %D 1987 %I IEEE Computer Society %K dblp %P 347-352 %T Solving Disequations %U http://dblp.uni-trier.de/db/conf/lics/lics87.html#KirchnerL87

@inproceedings{conf/lics/KirchnerL87, added-at = {2015-01-22T00:00:00.000+0100}, author = {Kirchner, Claude and Lescanne, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/25e0172922453a5bc2b830210c130e82c/dblp}, booktitle = {LICS}, crossref = {conf/lics/1987}, interhash = {b94b43fe873cb8794c55b99c47523c0d}, intrahash = {5e0172922453a5bc2b830210c130e82c}, keywords = {dblp}, pages = {347-352}, publisher = {IEEE Computer Society}, timestamp = {2015-06-20T03:11:58.000+0200}, title = {Solving Disequations}, url = {http://dblp.uni-trier.de/db/conf/lics/lics87.html#KirchnerL87}, year = 1987 }