@misc(cls,
 title        = "Combinatory Logic Synthesizer --- (CL)S",
 howpublished = "\url {http://ls14-www.cs.tu-dortmund.de/index.php/CLS}",
)
@misc(dotNet,
 title        = ".NET Development",
 howpublished = "\url {http://msdn.microsoft.com/en-us/library/ff361664.aspx}",
)
@article(Chandra81,
 author       = "Ashok K. Chandra and Dexter C. Kozen and Larry J. Stockmeyer",
 year         = "1981",
 title        = "Alternation",
 journal      = "J. ACM",
 volume       = "28",
 pages        = "114--133",
 doi          = "10.1145/322234.322243",
)
@article(code80,
 author       = "Mario Coppo and Mariangiola Dezani-Ciancaglini.",
 year         = "1980",
 title        = "An Extension of Basic Functionality Theory for Lambda-Calculus",
 journal      = "Notre Dame Journal of Formal Logic",
 volume       = "21",
 pages        = "685--693",
 doi          = "10.1305/ndjfl/1093883253",
)
@misc(TypesDM,
 author       = "Boris D\"udder and Moritz Martens and Jakob Rehof",
 year         = "2011",
 title        = "Prototype Implementation of an Inhabitation Algorithm for FCL$(\cap , \leq )$",
 howpublished = "Presentation at Types 2011 in Bergen, Norway",
)
@techreport(TR841,
 author       = "Boris D\"udder and Moritz Martens and Jakob Rehof",
 year         = "2012",
 title        = "{Intersection Type Matching and Bounded Combinatory Logic (Extended Version)}",
 type         = "Technical Report",
 number       = "841",
 institution  = "Faculty of Computer Science (TU Dortmund)",
 note         = "\url {http://ls14-www.cs.tu-dortmund.de/index.php/Jakob_Rehof_Publications\#Technical_Reports}",
)
@inproceedings(RehofEtAlTR12,
 author       = "Boris D\"udder and Moritz Martens and Jakob Rehof and Pawe\l \ Urzyczyn",
 year         = "2012",
 title        = "{Bounded Combinatory Logic}",
 booktitle    = "Computer Science Logic (CSL'12)",
 series       = "LIPIcs",
 volume       = "16",
 publisher    = "Leibniz-Zentrum fuer Informatik",
 pages        = "243--258",
 doi          = "10.4230/LIPIcs.CSL.2012.243",
)
@unpublished(Eclipse12,
 author       = "Eclipse.org",
 title        = "Eclipse Indigo (3.7) Documentation",
 url          = "http://help.eclipse.org",
)
@inproceedings(frepfe91,
 author       = "Tim Freeman and Frank Pfenning",
 year         = "1991",
 title        = "Refinement Types for {ML}",
 booktitle    = "ACM Conference on Programming Language Design and Implementation (PLDI)",
 publisher    = "ACM",
 pages        = "268--277",
 doi          = "10.1145/113445.113468",
)
@mastersthesis(Garbe12,
 author       = "Oliver Garbe",
 year         = "2012",
 title        = "Synthese von Benutzerschnittstellen mit einem Typinhabitationsalgorithmus",
 type         = "Diploma thesis",
 school       = "Technical University of Dortmund",
)
@inproceedings(Wells02,
 author       = "Christian Haack and Brian Howard and Allen Stoughton and Joe B. Wells",
 year         = "2002",
 title        = "Fully Automatic Adaptation of Software Components Based on Semantic Specifications",
 booktitle    = "AMAST'02",
 series       = "LNCS",
 volume       = "2422",
 publisher    = "Springer",
 pages        = "83--98",
 doi          = "10.1007/3-540-45719-4\_7",
)
@phdthesis(Koenigsmann11,
 author       = "Thomas K{\"o}nigsmann",
 year         = "2011",
 title        = "Compositional Modelling Ansatz zur Benutzerschnittstellengenerierung am Beispiel telemedizinischer Anwendungen",
 school       = "Technical University of Dortmund",
)
@inproceedings(adipositas,
 author       = "Thomas K\"onigsmann and Reinholde Kriebel",
 year         = "2008",
 title        = "Digitale Gesundheitsbegleiter am Beispiel der Adi\-po\-si\-tas-Nachsorge",
 booktitle    = "Proceedings of AAL 2008",
 organization = "Verband der Elektrotechnik, Elektronik, Informationstechnik",
 publisher    = "VDE-Verlag",
)
@inproceedings(LustigVardi09,
 author       = "Y. Lustig and M. Y. Vardi",
 year         = "2009",
 title        = "Synthesis from Component Libraries",
 booktitle    = "FOSSACS",
 series       = "LNCS",
 volume       = "5504",
 publisher    = "Springer",
 pages        = "395--409",
 doi          = "10.1007/978-3-642-00596-1\_28",
)
@article(MillerNPS91,
 author       = "Dale Miller and Gopalan Nadathur and Frank Pfenning and Andre Scedrov",
 year         = "1991",
 title        = "Uniform Proofs as a Foundation for Logic Programming",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "51",
 number       = "1-2",
 pages        = "125--157",
 doi          = "10.1016/0168-0072(91)90068-W",
)
@incollection(pottinger80,
 author       = "Garrel Pottinger",
 year         = "1980",
 title        = "A Type Assignment for the Strongly Normalizable Lambda-Terms",
 editor       = "J. Hindley and J. Seldin",
 booktitle    = "To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism",
 publisher    = "Academic Press",
 pages        = "561--577",
)
@inproceedings(BEAT13,
 author       = "Jakob Rehof",
 year         = "2013",
 title        = "{Towards Combinatory Logic Synthesis}",
 booktitle    = "Proceedings of BEAT'13",
 publisher    = "ACM",
)
@inproceedings(RehofU11,
 author       = "Jakob Rehof and Pawe\l \ Urzyczyn",
 year         = "2011",
 title        = "Finite Combinatory Logic with Intersection Types",
 booktitle    = "TLCA",
 series       = "Lecture Notes in Computer Science",
 volume       = "6690",
 publisher    = "Springer",
 pages        = "169--183",
 doi          = "10.1007/978-3-642-21691-6\_15",
)
@inproceedings(RehofU12,
 author       = "Jakob Rehof and Pawe\l \ Urzyczyn",
 year         = "2012",
 title        = "The Complexity of Inhabitation with Explicit Intersection",
 editor       = "Robert L. Constable and A. Silva",
 booktitle    = "Kozen Festschrift",
 volume       = "LNCS 7230",
 pages        = "256--270",
 doi          = "10.1007/978-3-642-29485-3\_16",
)
@mastersthesis(Reinke11,
 author       = "Eugen Reinke",
 year         = "2011",
 title        = "Konzeption und Entwicklung eines Tools zur Modellierung von User-Interface-Spezifikationsbausteinen im Rahmen des ``Compositional Modeling''-Ansatzes",
 type         = "Diploma thesis",
 school       = "Technical University of Dortmund",
)
@inproceedings(ssalv09,
 author       = "Sylvain Salvati",
 year         = "2009",
 title        = "Recognizability in the Simply Typed Lambda-Calculus",
 editor       = "H. Ono and M. Kanazawa and R. J. G. B. de Queiroz",
 booktitle    = "WoLLIC",
 series       = "LNCS",
 volume       = "5514",
 publisher    = "Springer",
 pages        = "48--60",
 doi          = "10.1007/978-3-642-02261-6\_5",
)
@inproceedings(SMGB12,
 author       = "Sylvain Salvati and Giulio Manzonetto and Mai Gehrke and Henk Barendregt",
 year         = "2012",
 title        = "Loader and Urzyczyn Are Logically Related",
 booktitle    = "ICALP 12, Automata, Languages, and Programming - 39th International Colloquium, Warwick, UK",
 series       = "LNCS",
 volume       = "7392",
 publisher    = "Springer",
 pages        = "364--376",
 doi          = "10.1007/978-3-642-31585-5\_34",
)
@article(Shapiro84,
 author       = "Ehud Y. Shapiro",
 year         = "1984",
 title        = "Alternation and the Computational Complexity of Logic Programs",
 journal      = "J. Log. Program.",
 volume       = "1",
 number       = "1",
 pages        = "19--33",
 doi          = "10.1016/0743-1066(84)90021-9",
)
@inproceedings(Wells04,
 author       = "J. B. Wells and Boris Yakobowski",
 year         = "2005",
 title        = "Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis",
 editor       = "Sandro Etalle",
 booktitle    = "LOPSTR 2004",
 series       = "LNCS",
 volume       = "3573",
 publisher    = "Springer",
 pages        = "262--277",
 doi          = "10.1007/11506676\_17",
)
@article(SwiProlog11,
 author       = "Jan Wielemaker and Tom Schrijvers and Markus Triska and Torbj{\"o}rn Lager",
 year         = "2010",
 title        = "SWI-Prolog",
 journal      = "Computing Research Repository",
 volume       = "abs/1011.5332",
)