1. Ella Albrecht, Patrick Krümpelmann and Gabriele Kern-Isberner.
    Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.
    In Michael Hanus and Ricardo Rocha (eds.). Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013). 0.
    BibTeX

    @inproceedings{albrecht2013fk,
    	author = {Ella Albrecht and Patrick Kr{\"u}mpelmann and Gabriele Kern-Isberner},
    	booktitle = "Post-proceedings of the 27th Workshop on Functional and Logic Programming (WFLP 2013)",
    	date-added = "2014-11-18 12:00:31 +0000",
    	date-modified = "2014-11-18 12:00:31 +0000",
    	editor = "Hanus, Michael and Rocha, Ricardo",
    	keywords = "own, a5miss",
    	publisher = "Springer",
    	series = "Lecture Notes in Computer Science",
    	title = "Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs",
    	year = "to appear",
    	bdsk-file-1 = "YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QXC4uLy4uLy4uLy4uL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRm0hcLGBlXTlMuZGF0YU8RAjQAAAAAAjQAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAMpBBgxIKwAAANDemRBhbGJyZWNodDIwMTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAwargz+AUlQAAAAAAAAAAAAQABwAACSAAAAAAAAAAAAAAAAAAAAAIYWxicmVjaHQAEAAIAADKQOnsAAAAEQAIAADP3/h1AAAAAQAoANDemQC4xBgAt6WbAHUQzABwFJMAcBRkAAVe3AAFFdIABRTMAAC+7AACAIRNYWNpbnRvc2ggSEQ6VXNlcnM6AHBhdHM6AERvY3VtZW50czoAbXlTdHVmZjoAc3ZuczoAYW5nZXJvbmE6AGRvY3VtZW50YXRpb246AGJpYmxpb2dyYXBoeToAYmliZGVzay1wYXBlcjoAYWxicmVjaHQ6AGFsYnJlY2h0MjAxNC5wZGYADgAiABAAYQBsAGIAcgBlAGMAaAB0ADIAMAAxADQALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAG1Vc2Vycy9wYXRzL0RvY3VtZW50cy9teVN0dWZmL3N2bnMvYW5nZXJvbmEvZG9jdW1lbnRhdGlvbi9iaWJsaW9ncmFwaHkvYmliZGVzay1wYXBlci9hbGJyZWNodC9hbGJyZWNodDIwMTQucGRmAAATAAEvAAAVAAIAC///AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAO0A8gD6AzIDNAM5A0QDTQNbA18DZgNvA3QDgQOEA5YDmQOeAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA6A="
    }