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