Emil Keyder, Silvia Richter, Malte Helmert. Sound and Complete Landmarks for And/Or Graphs. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 335-340, IOS Press, 2010. [doi]
@inproceedings{KeyderRH10,
title = {Sound and Complete Landmarks for And/Or Graphs},
author = {Emil Keyder and Silvia Richter and Malte Helmert},
year = {2010},
url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=17768},
tags = {completeness, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/KeyderRH10},
cites = {0},
citedby = {0},
pages = {335-340},
booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
volume = {215},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-605-8},
}