%0 Thesis %1 smolka1989logic %A Smolka, Gert %D 1989 %K %T Logic programming over polymorphically order-sorted types

@phdthesis{smolka1989logic, added-at = {2023-12-13T05:17:35.000+0100}, author = {Smolka, Gert}, biburl = {https://www.bibsonomy.org/bibtex/2041c3f89d53dd4c12250d078eda11368/admin}, dnbtitleid = {891234179}, interhash = {a0d9568b502b269ad88b577afec254bb}, intrahash = {041c3f89d53dd4c12250d078eda11368}, keywords = {}, school = {Uni Kaiserslautern}, timestamp = {2023-12-13T05:17:35.000+0100}, title = {Logic programming over polymorphically order-sorted types}, year = 1989 }