@article{FerreinMeyer2012,
  author    = {Ferrein, Alexander and Meyer, Thomas},
  title     = {A Brief Overview of Artificial Intelligence in South Africa},
  series = {AI Magazine},
  volume    = {33},
  journal   = {AI Magazine},
  number    = {1},
  publisher = {AAAI},
  address   = {Menlo Park},
  issn      = {0738-4602},
  doi       = {10.1609/aimag.v33i1.2357},
  pages     = {99 -- 101},
  year      = {2012},
  abstract  = {South Africa in recent years is the establishment of a number of research hubs involved in AI activities ranging from mobile robotics and computational intelligence, to knowledge representation and reasoning, and human language technologies. In this survey we take the reader through a quick tour of the research being conducted at these hubs, and touch on an initiative to maintain and extend the current level of interest in AI research in the country.},
  language  = {en}
}
@inproceedings{FerreinMeessenLimpertetal.2021,
  author    = {Ferrein, Alexander and Meeßen, Marcus and Limpert, Nicolas and Schiffer, Stefan},
  title     = {Compiling ROS Schooling Curricula via Contentual Taxonomies},
  series = {Robotics in Education},
  booktitle = {Robotics in Education},
  editor    = {Lepuschitz, Wilfried},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-030-67411-3},
  doi       = {10.1007/978-3-030-67411-3_5},
  pages     = {49 -- 60},
  year      = {2021},
  language  = {en}
}
@article{FerreinMaraisPotgieteretal.2011,
  author    = {Ferrein, Alexander and Marais, Stephen and Potgieter, Anet and Steinbauer, Gerald},
  title     = {RoboCup Junior: A vehicle for S\&T education in Africa?},
  publisher = {IEEE},
  address   = {New York},
  isbn      = {978-1-61284-992-8},
  pages     = {1 -- 6},
  year      = {2011},
  language  = {en}
}
@inproceedings{FerreinMaierMuehlbacheretal.2016,
  author    = {Ferrein, Alexander and Maier, Christopher and M{\"u}hlbacher, Clemens and Niem{\"u}ller, Tim and Steinbauer, Gerald and Vassos, Stravros},
  title     = {Controlling logistics robots with the action-based language YAGI},
  series = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I},
  volume    = {9834},
  booktitle = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I},
  publisher = {Springer},
  isbn      = {978-3-319-43505-3 (Print)},
  doi       = {10.1007/978-3-319-43506-0_46},
  pages     = {525 -- 537},
  year      = {2016},
  language  = {en}
}
@inproceedings{FerreinMaierMuehlbacheretal.2015,
  author    = {Ferrein, Alexander and Maier, Christopher and M{\"u}hlbacher, Clemens and Niemueller, Tim and Steinbauer, Gerald and Vassos, Stravros},
  title     = {Controlling Logistics Robots with the Action-based Language YAGI},
  series = {Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing},
  booktitle = {Proceedings of the 2015 IROS Workshop on Workshop on Task Planning for Intelligent Robots in Service and Manufacturing},
  year      = {2015},
  language  = {en}
}
@inproceedings{FerreinLakemeyerSchiffer2006,
  author    = {Ferrein, Alexander and Lakemeyer, Gerhard and Schiffer, Stefan},
  title     = {AllemaniACs@ home 2006 team description},
  pages     = {1 -- 6},
  year      = {2006},
  language  = {en}
}
@article{FerreinLakemeyer2006,
  author    = {Ferrein, Alexander and Lakemeyer, Gerhard},
  title     = {Roboterfußball - Wissenschaft, die auch Spass macht / Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {RWTH Themen (2006)},
  journal   = {RWTH Themen (2006)},
  isbn      = {0179-079X},
  pages     = {36 -- 39},
  year      = {2006},
  language  = {de}
}
@article{FerreinLakemeyer2005,
  author    = {Ferrein, Alexander and Lakemeyer, Gerhard},
  title     = {Wie Roboter die Welt sehen : Roboterfußball im Dienst der Wissenschaft / Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)},
  journal   = {Bild und Erkenntnis : Formen und Funktionen des Bildes in Wissenschaft und Technik / RWTH. Andreas Beyer ; Markus Lohoff (Hrsg.)},
  publisher = {Deutscher Kunstverlag},
  address   = {M{\"u}nchen},
  isbn      = {3-422-06463-X},
  pages     = {360 -- 361},
  year      = {2005},
  language  = {de}
}
@article{FerreinKonurLakemeyer2004,
  author    = {Ferrein, Alexander and Konur, Savas and Lakemeyer, Gerhard},
  title     = {Learning Decision Trees for Action Selection in Soccer Agents / Konur, Savas ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  pages     = {1 -- 7},
  year      = {2004},
  language  = {en}
}
@inproceedings{FerreinKallweitScholletal.2015,
  author    = {Ferrein, Alexander and Kallweit, Stephan and Scholl, Ingrid and Reichert, Walter},
  title     = {Learning to Program Mobile Robots in the ROS Summer School Series},
  series = {Proceedings 6th International Conference on Robotics in Education (RiE 15)},
  booktitle = {Proceedings 6th International Conference on Robotics in Education (RiE 15)},
  pages     = {6 S.},
  year      = {2015},
  abstract  = {The main objective of our ROS Summer School series is to introduce MA level students to program mobile robots with the Robot Operating System (ROS). ROS is a robot middleware that is used my many research institutions world-wide. Therefore, many state-of-the-art algorithms of mobile robotics are available in ROS and can be deployed very easily. As a basic robot platform we deploy a 1/10 RC cart that is wquipped with an Arduino micro-controller to control the servo motors, and an embedded PC that runs ROS. In two weeks, participants get to learn the basics of mobile robotics hands-on. We describe our teaching concepts and our curriculum and report on the learning success of our students.},
  language  = {en}
}
@article{FerreinJacobsSchifferetal.2009,
  author    = {Ferrein, Alexander and Jacobs, Stefan and Schiffer, Stefan and Beck, Daniel},
  title     = {Robust Collision Avoidance in Unknown Domestic Environments / Jacobs, Stefan ; Ferrein, Alexander ; Schiffer, Stefan ; Beck, Daniel ; Lakemeyer, Gerhard},
  series = {ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII},
  journal   = {ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII},
  publisher = {Springer},
  address   = {Berlin},
  pages     = {116 -- 127},
  year      = {2009},
  language  = {en}
}
@article{FerreinJacobsLakemeyer2005,
  author    = {Ferrein, Alexander and Jacobs, Stefan and Lakemeyer, Gerhard},
  title     = {Controlling Unreal Tournament 2004 Bots with the logic-based action language Golog / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).},
  journal   = {Proceedings of the First AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).},
  pages     = {151 -- 152},
  year      = {2005},
  language  = {en}
}
@article{FerreinJacobsLakemeyer2005,
  author    = {Ferrein, Alexander and Jacobs, Stefan and Lakemeyer, Gerhard},
  title     = {Unreal Golog Bots / Jacobs, Stefan ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games},
  journal   = {IJCAI-05 Workshop on Reasoning, Representation, and Learning in Computer Games},
  pages     = {31 -- 36},
  year      = {2005},
  language  = {en}
}
@article{FerreinHermannsLakemeyer2006,
  author    = {Ferrein, Alexander and Hermanns, Lutz and Lakemeyer, Gerhard},
  title     = {Comparing Sensor Fusion Techniques for Ball Position Estimation / Ferrein, Alexander ; Hermanns, Lutz ; Lakemeyer, Gerhard},
  series = {RoboCup 2005: Robot Soccer World Cup IX},
  journal   = {RoboCup 2005: Robot Soccer World Cup IX},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-35437-6},
  pages     = {154 -- 165},
  year      = {2006},
  language  = {en}
}
@article{FerreinFritzLakemeyer2005,
  author    = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
  title     = {Using Golog for Deliberation and Team Coordination in Robotic Soccer / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard},
  series = {K{\"u}nstliche Intelligenz : KI. 19 (2005), H. 1},
  journal   = {K{\"u}nstliche Intelligenz : KI. 19 (2005), H. 1},
  isbn      = {0933-1875},
  pages     = {24 -- 30},
  year      = {2005},
  language  = {en}
}
@article{FerreinFritzLakemeyer2004,
  author    = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
  title     = {On-Line Decision-Theoretic Golog for Unpredictable Domains / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard},
  series = {KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings},
  journal   = {KI 2004: Advances in Artificial Intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004. Proceedings},
  publisher = {Springer},
  address   = {Berlin},
  pages     = {322 -- 336},
  year      = {2004},
  language  = {en}
}
@article{FerreinFritzLakemeyer2003,
  author    = {Ferrein, Alexander and Fritz, Christian and Lakemeyer, Gerhard},
  title     = {Extending DTGOLOG with Options / Ferrein, Alexander ; Fritz, Christian ; Lakemeyer, Gerhard},
  series = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  journal   = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages     = {1391 -- 1393},
  year      = {2003},
  language  = {en}
}
@article{FerreinDyllaLakemeyeretal.2008,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan},
  title     = {Approaching a formal soccer theory from behaviour specifications in robotic soccer / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Schiffer, Stefan ; Stolzenburg, Frieder ; Visser, Ubbo ; Wagner, Tho},
  series = {Computers in sport / editors: P Dabnichki},
  journal   = {Computers in sport / editors: P Dabnichki},
  publisher = {WIT Press},
  address   = {Southampton},
  isbn      = {978-1-8456-4064-4},
  pages     = {161 -- 185},
  year      = {2008},
  language  = {en}
}
@article{FerreinDyllaLakemeyeretal.2005,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard and Murray, Jan},
  title     = {Towards a League-Independent Qualitative Soccer Theory for RoboCup / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Murray, Jan ; Obst, Oliver ; R{\"o}fer, Thomas ; Stolzenburg, Frieder ; Visser, Ubbo},
  series = {RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).},
  journal   = {RoboCup 2004: Robot Soccer World Cup VIII / Daniele Nardi ... (ed.).},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-25046-8},
  pages     = {611 -- 618},
  year      = {2005},
  language  = {en}
}
@article{FerreinDyllaLakemeyer2003,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard},
  title     = {Specifying Multirobot Coordination in ICPGolog - From Simulation towards Real Robots / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  pages     = {1 -- 10},
  year      = {2003},
  language  = {en}
}
@article{FerreinDyllaLakemeyer2002,
  author    = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard},
  title     = {Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)},
  journal   = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)},
  pages     = {1 -- 7},
  year      = {2002},
  language  = {en}
}
@article{FerreinCalmesLakemeyeretal.2006,
  author    = {Ferrein, Alexander and Calmes, Laurent and Lakemeyer, Gerhard and Wagner, Hermann},
  title     = {Von Schleiereulen und fussballspielenden Robotern / Calmes, Laurent ; Ferrein, Alexander ; Lakemeyer, Gerhard ; Wagner, Hermann},
  series = {RWTH Themen (2006)},
  journal   = {RWTH Themen (2006)},
  isbn      = {0179-079X},
  pages     = {30 -- 33},
  year      = {2006},
  language  = {de}
}
@article{FerreinBoehnstedtLakemeyer2007,
  author    = {Ferrein, Alexander and B{\"o}hnstedt, Lutz and Lakemeyer, Gerhard},
  title     = {Options in readylog reloaded -- generating decision-theoretic plan libraries in golog / B{\"o}hnstedt, Lutz ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabr{\"u}ck, Germany, September 10 - 13, 2007 ; proceedings},
  journal   = {KI 2007: advances in artificial intelligence : 30th Annual German Conference on AI, KI 2007, Osnabr{\"u}ck, Germany, September 10 - 13, 2007 ; proceedings},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-74564-8},
  pages     = {352 -- 366},
  year      = {2007},
  language  = {en}
}
@inproceedings{FerreinBharatheeshaSchifferetal.2019,
  author    = {Ferrein, Alexander and Bharatheesha, Mukunda and Schiffer, Stefan and Corbato, Carlos Hernandez},
  title     = {TRROS 2018 : Teaching Robotics with ROS Workshop at ERF 2018; Proceedings of the Workshop on Teaching Robotics with ROS (held at ERF 2018), co-located with European Robotics Forum 2018 (ERF 2018), Tampere, Finland, March 15th, 2018},
  series = {CEUR Workshop Proceedings},
  booktitle = {CEUR Workshop Proceedings},
  number    = {Vol-2329},
  issn      = {1613-0073},
  pages     = {68 Seiten},
  year      = {2019},
  language  = {en}
}
@article{FerreinBeckLakemeyer2009,
  author    = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {Landmark-Based Representations for Navigating Holonomic Soccer Robots / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)},
  journal   = {RoboCup 2008 : robot soccer world cup XII / Luca Iocchi ... (eds.)},
  publisher = {Springer},
  address   = {Heidelberg},
  isbn      = {978-3-642-02921-9},
  pages     = {25 -- 36},
  year      = {2009},
  language  = {en}
}
@article{FerreinBeckLakemeyer2007,
  author    = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard},
  title     = {A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {RoboCup 2007: Robot Soccer World Cup XI},
  journal   = {RoboCup 2007: Robot Soccer World Cup XI},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {978-3-540-68846-4},
  pages     = {136 -- 147},
  year      = {2007},
  language  = {en}
}
@book{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  pages     = {XVI; 247 S. : Ill., graph. Darst},
  year      = {2008},
  language  = {en}
}
@article{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Logic-based robot control in highly dynamic domains / Ferrein, Alexander ; Lakemeyer, Gerhard},
  series = {Robotics and Autonomous Systems. 56 (2008), H. 11},
  journal   = {Robotics and Autonomous Systems. 56 (2008), H. 11},
  isbn      = {0921-8890},
  pages     = {980 -- 991},
  year      = {2008},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {Robot controllers for highly dynamic environments with real-time constraints},
  series = {K{\"u}nstliche Intelligenz : KI. 24 (2010), H. 2},
  journal   = {K{\"u}nstliche Intelligenz : KI. 24 (2010), H. 2},
  isbn      = {1610-1987},
  pages     = {175 -- 178},
  year      = {2010},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems},
  pages     = {20 -- 28},
  year      = {2010},
  language  = {en}
}
@article{Ferrein2004,
  author    = {Ferrein, Alexander},
  title     = {Planwirtschaft},
  series = {Linux Magazin (2004)},
  journal   = {Linux Magazin (2004)},
  isbn      = {1432-640X},
  pages     = {50 -- 53},
  year      = {2004},
  language  = {de}
}
@article{Ferrein2005,
  author    = {Ferrein, Alexander},
  title     = {Specifying Soccer Moves with Golog},
  series = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport},
  journal   = {Book of abstracts : Cologne, 15 - 17 September 2004 / 1st International Working Conference IT and Sport \& 5th conference DVS-Section Computer Science in Sport},
  publisher = {German Sport Univ.},
  address   = {K{\"o}ln},
  isbn      = {3-00-014576-1},
  pages     = {161 -- 165},
  year      = {2005},
  language  = {en}
}
@article{Ferrein2010,
  author    = {Ferrein, Alexander},
  title     = {golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems},
  series = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)},
  journal   = {Cognitive Robotics / Lakemeyer, Gerhard (ed.)},
  pages     = {1 -- 15},
  year      = {2010},
  language  = {en}
}
@article{Ferrein2008,
  author    = {Ferrein, Alexander},
  title     = {Towards applying soccer moves in the RoboCup Standard Platform League},
  series = {{\"O}GAI-Journal},
  volume    = {Bd. 27},
  journal   = {{\"O}GAI-Journal},
  number    = {H. 3},
  organization    = {{\"O}sterreichische Gesellschaft f{\"u}r Artificial Intelligence},
  issn      = {0254-4326},
  pages     = {4 -- 9},
  year      = {2008},
  language  = {en}
}
@article{Ferrein2004,
  author    = {Ferrein, Alexander},
  title     = {Autonome Entscheidungsfindung bei Robotern : Planwirtschaft},
  series = {Linux-Magazin},
  journal   = {Linux-Magazin},
  number    = {7},
  issn      = {1432-640X (Print)},
  pages     = {50 -- 53},
  year      = {2004},
  language  = {de}
}
@inproceedings{Ferrein2015,
  author    = {Ferrein, Alexander},
  title     = {Robots: challenges, chances and risks for solving 21st century problems},
  series = {President's Invitation Lecture / South African Institute of Electrical Engineers : May 21 \& 22, 2015, University of Johannesburg},
  booktitle = {President's Invitation Lecture / South African Institute of Electrical Engineers : May 21 \& 22, 2015, University of Johannesburg},
  organization    = {South African Institute of Electrical Engineers},
  pages     = {1 -- 45},
  year      = {2015},
  language  = {en}
}
@inproceedings{Ferrein2015,
  author    = {Ferrein, Alexander},
  title     = {3D-Mapping von Straßentunneln},
  series = {16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universit{\"a}t Bergakademie Freiberg},
  booktitle = {16. Geokinematischer Tag, 07. und 08. Mai 2015 : Tagungsband / Technische Universit{\"a}t Bergakademie Freiberg},
  pages     = {31 -- 40},
  year      = {2015},
  language  = {de}
}
@article{FassbenderWedel1992,
  author    = {Faßbender, Heinz and Wedel, Andrea},
  title     = {E-Unifikation mit macro tree transducer},
  series = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  journal   = {2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren},
  publisher = {Wilhelm-Schickard-Inst. f{\"u}r Informatik, Univ.},
  address   = {T{\"u}bingen},
  isbn      = {0946-3852},
  pages     = {5 S.},
  year      = {1992},
  language  = {de}
}
@book{FassbenderVoglerWedel1994,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {62 S.},
  year      = {1994},
  language  = {en}
}
@article{FassbenderVoglerWedel1993,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {An abstract machine for the E-Unification with macro tree transducer},
  series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  journal   = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  year      = {1993},
  language  = {en}
}
@book{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification driven leftmost outermost narrowing},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {47 S. : graph. Darst.},
  year      = {1992},
  language  = {en}
}
@article{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {An implementation of syntax directed functional programming on nested-stack machines},
  series = {Formal Aspects of Computing. 4 (1992), H. 4},
  journal   = {Formal Aspects of Computing. 4 (1992), H. 4},
  isbn      = {0934-5043},
  pages     = {341 -- 375},
  year      = {1992},
  language  = {en}
}
@article{FassbenderVogler1994,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification-driven leftmost outermost narrowing},
  series = {Acta Cybernetica. 11 (1994), H. 3},
  journal   = {Acta Cybernetica. 11 (1994), H. 3},
  isbn      = {0324-721x},
  pages     = {139 -- 167},
  year      = {1994},
  language  = {en}
}
@book{FassbenderVogler1990,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A call-by-need implementation of syntax directed functional programming},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {44 S. : graph. Darst.},
  year      = {1990},
  language  = {en}
}
@article{FassbenderVogler1991,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract},
  series = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  journal   = {Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.)},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {95 -- 96},
  year      = {1991},
  language  = {en}
}
@article{FassbenderVogler1994,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {Implementierung eines universellen Unifikationsalgorithmus f{\"u}r Macro Tree Transducer},
  series = {Alternative Konzepte f{\"u}r Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)},
  journal   = {Alternative Konzepte f{\"u}r Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.)},
  publisher = {Univ., Inst. f{\"u}r Informatik},
  address   = {Koblenz},
  pages     = {151 S.},
  year      = {1994},
  language  = {de}
}
@article{FassbenderMoessleVogler1996,
  author    = {Faßbender, Heinz and M{\"o}ßle, Andrea and Vogler, Heiko},
  title     = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers},
  series = {Journal of functional and logic programming. 1996 (1996), H. 2},
  journal   = {Journal of functional and logic programming. 1996 (1996), H. 2},
  isbn      = {1080-5230},
  year      = {1996},
  language  = {en}
}
@book{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions},
  publisher = {TU, Fak. Informatik},
  address   = {Dresden},
  pages     = {27 S. : graph. Darst.},
  year      = {1996},
  language  = {en}
}
@article{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  journal   = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-61735-3},
  pages     = {194 -- 208},
  year      = {1996},
  language  = {en}
}
@article{FassbenderManeth1998,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Journal of functional and logic programming. 1998 (1998), H. 4},
  journal   = {Journal of functional and logic programming. 1998 (1998), H. 4},
  isbn      = {1080-5230},
  year      = {1998},
  language  = {en}
}