1. Robert Ballance, Susan Graham & Michael Van De Vanter (1990): The Pan Language-based Editing System for Integrated Development. In: Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments, SDE 4. ACM, New York, NY, USA, pp. 77–93, doi:10.1145/99277.99286.
  2. Andreas M. Boehm, Dietmar Seipel, Albert Sickmann & Matthias Wetzka (2007): Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications. In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers, pp. 82–98, doi:10.1007/978-3-642-00675-3_6.
  3. Patrick Borras, Dominique Clement, Thierry Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang & Valérie Pascual (1988): Centaur: The System. In: Proceedings of the Third ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, SDE 3. ACM, New York, NY, USA, pp. 14–24, doi:10.1145/64135.65005.
  4. Selim Ciraci (2009): Graph Based Verification of Software Evolution Requirements. Univ. of Twente, Enschede, doi:10.3990/1.9789036529563. CTIT Ph.D. thesis series no. 09-162.
  5. Selim Ciraci, Pim van den Broek & Mehmet Aksit (2010): Graph-based Verification of Static Program Constraints. In: Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10. ACM, New York, NY, USA, pp. 2265–2272, doi:10.1145/1774088.1774561.
  6. Mariano Consens & Alberto Mendelzon (1990): GraphLog: A Visual Formalism for Real Life Recursion. In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, PODS '90. ACM, New York, NY, USA, pp. 404–416, doi:10.1145/298514.298591.
  7. Mariano Consens & Alberto Mendelzon (1993): Low Complexity Aggregation in GraphLog and Datalog. In: Theoretical Computer Science 116, pp. 95–116, doi:10.1016/0304-3975(93)90221-E.
  8. Mariano Consens, Alberto Mendelzon & Arthur Ryman (1992): Visualizing and querying software structures. In: International Conference on Software Engineering. IEEE, Melbourne, Australia, pp. 138–156, doi:10.1109/ICSE.1992.753496.
  9. Roger Crew (1997): ASTLOG: A Language for Examining Abstract Syntax Trees. In: DSL. USENIX. Available at
  10. Martin Fowler (2010): Domain Specific Languages, 1st edition. Addison-Wesley Professional.
  11. Günter Kniesel, Jan Hannemann & Tobias Rho (2007): A Comparison of Logic-based Infrastructures for Concern Detection and Extraction. In: Proceedings of the 3rd Workshop on Linking Aspect Technology and Evolution, LATE '07. ACM, New York, NY, USA, doi:10.1145/1275672.1275678.
  12. Mouaaz Nahas (2009): Bridging the gap between scheduling algorithms and scheduler implementations in time-triggered embedded systems. University of Leicester.
  13. Dietmar Seipel, Rüdiger von der Weth, Salvador Abreu, Falco Nogatz & Alexander Werner (2016): Declarative Rules for Annotated Expert Knowledge in Change Management. In: Proceedings of the 5th Symposium on Languages, Applications, Technologies, SLATE 2016. OASICS, Dagstuhl Publishing, pp. 81–96, doi:10.4230/OASIcs.SLATE.2016.7.
  14. Vera Wahler, Dietmar Seipel, Jurgen Wolff v. Gudenberg & Gregor Fischer (2004): Clone Detection in Source Code by Frequent Itemset Techniques. In: Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop, SCAM '04. IEEE Computer Society, Washington, DC, USA, pp. 128–135, doi:10.1109/SCAM.2004.5. Available at
  15. Jan Wielemaker (2003): An overview of the SWI-Prolog Programming Environment. In: Fred Mesnard & Alexander Serebenik: Proceedings of the 13th International Workshop on Logic Programming Environments. Katholieke Universiteit Leuven, Heverlee, Belgium, pp. 1–16. Available at CW 371.

Comments and questions to:
For website issues: