%0 Journal Article %1 journals/tcs/Ganzinger91 %A Ganzinger, Harald %D 1991 %J Theor. Comput. Sci. %K dblp %N 1 %P 3-32 %T Order-Sorted Completion: The Many-Sorted Way. %U http://dblp.uni-trier.de/db/journals/tcs/tcs89.html#Ganzinger91 %V 89

@article{journals/tcs/Ganzinger91, added-at = {2021-02-17T00:00:00.000+0100}, author = {Ganzinger, Harald}, biburl = {https://www.bibsonomy.org/bibtex/2d91e6b6cd8439f992e6cf4df03536313/dblp}, ee = {https://doi.org/10.1016/0304-3975(90)90105-Q}, interhash = {625d185fb50ddac994e7f69d7f902382}, intrahash = {d91e6b6cd8439f992e6cf4df03536313}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {3-32}, timestamp = {2024-04-08T18:35:54.000+0200}, title = {Order-Sorted Completion: The Many-Sorted Way.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs89.html#Ganzinger91}, volume = 89, year = 1991 }