%0 Conference Paper %1 conf/ki/DeckerL92 %A Decker, Stefan %A Lingenfelder, Christoph %B GWAI %D 1992 %E Ohlbach, Hans Jürgen %I Springer %K dblp %P 267-271 %T Universally Quantified Queries in Language with Order-Sorted Logics. %U http://dblp.uni-trier.de/db/conf/ki/gwai92.html#DeckerL92 %V 671 %@ 3-540-56667-8

@inproceedings{conf/ki/DeckerL92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Decker, Stefan and Lingenfelder, Christoph}, biburl = {https://www.bibsonomy.org/bibtex/2012d3f6913c060fe4ebd53a599922911/dblp}, booktitle = {GWAI}, crossref = {conf/ki/1992}, editor = {Ohlbach, Hans Jürgen}, ee = {https://doi.org/10.1007/BFb0019011}, interhash = {4f83fa9c6ee2a8148f8869cad5ab1bb3}, intrahash = {012d3f6913c060fe4ebd53a599922911}, isbn = {3-540-56667-8}, keywords = {dblp}, pages = {267-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:46:16.000+0200}, title = {Universally Quantified Queries in Language with Order-Sorted Logics.}, url = {http://dblp.uni-trier.de/db/conf/ki/gwai92.html#DeckerL92}, volume = 671, year = 1992 }