%0 Conference Paper %1 conf/cade/Wand14 %A Wand, Daniel %B PAAR@IJCAR %D 2014 %E Schulz, Stephan %E de Moura, Leonardo %E Konev, Boris %I EasyChair %K %P 105-119 %T Polymorphic+Typeclass Superposition. %U http://dblp.uni-trier.de/db/conf/cade/paar2014.html#Wand14 %V 31

@inproceedings{conf/cade/Wand14, added-at = {2023-12-12T23:55:56.000+0100}, author = {Wand, Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2f16ef1c1e766b1516ede56896335bf31/admin}, booktitle = {PAAR@IJCAR}, crossref = {conf/cade/2014paar}, editor = {Schulz, Stephan and de Moura, Leonardo and Konev, Boris}, ee = {https://easychair.org/publications/paper/Gvlb}, interhash = {5c60839dad1502a0e23607b774d267be}, intrahash = {f16ef1c1e766b1516ede56896335bf31}, keywords = {}, pages = {105-119}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2023-12-12T23:55:56.000+0100}, title = {Polymorphic+Typeclass Superposition.}, url = {http://dblp.uni-trier.de/db/conf/cade/paar2014.html#Wand14}, volume = 31, year = 2014 }