%0 Conference Paper %1 conf/lilog/BlasiusRS89 %A Bläsius, Karl-Hans %A Rollinger, Claus-Rainer %A Siekmann, Jörg H. %B Sorts and Types in Artificial Intelligence %D 1989 %E Bläsius, Karl-Hans %E Hedtstück, Ulrich %E Rollinger, Claus-Rainer %I Springer %K dblp %P 165-182 %T Structure and Control of the L-LILOG Inference System. %U http://dblp.uni-trier.de/db/conf/lilog/sorts89.html#BlasiusRS89 %V 418 %@ 3-540-52337-5

@inproceedings{conf/lilog/BlasiusRS89, added-at = {2019-08-06T00:00:00.000+0200}, author = {Bläsius, Karl-Hans and Rollinger, Claus-Rainer and Siekmann, Jörg H.}, biburl = {https://www.bibsonomy.org/bibtex/2b55b54f03652abf172c8f094f1108369/dblp}, booktitle = {Sorts and Types in Artificial Intelligence}, crossref = {conf/lilog/89}, editor = {Bläsius, Karl-Hans and Hedtstück, Ulrich and Rollinger, Claus-Rainer}, ee = {https://doi.org/10.1007/3-540-52337-6_23}, interhash = {7525bc24c23de7412b2880dea03d4ed2}, intrahash = {b55b54f03652abf172c8f094f1108369}, isbn = {3-540-52337-5}, keywords = {dblp}, pages = {165-182}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-06T11:43:09.000+0200}, title = {Structure and Control of the L-LILOG Inference System.}, url = {http://dblp.uni-trier.de/db/conf/lilog/sorts89.html#BlasiusRS89}, volume = 418, year = 1989 }