%0 Conference Paper %1 conf/pods/ArenasFL02 %A Arenas, Marcelo %A Fan, Wenfei %A Libkin, Leonid %B PODS %D 2002 %E Popa, Lucian %E Abiteboul, Serge %E Kolaitis, Phokion G. %I ACM %K dblp %P 259-270 %T On Verifying Consistency of XML Specifications. %U http://dblp.uni-trier.de/db/conf/pods/pods02.html#ArenasFL02 %@ 1-58113-507-6

@inproceedings{conf/pods/ArenasFL02, added-at = {2019-10-19T00:00:00.000+0200}, author = {Arenas, Marcelo and Fan, Wenfei and Libkin, Leonid}, biburl = {https://www.bibsonomy.org/bibtex/2975b639241bb83c5f10efc5f7132b793/dblp}, booktitle = {PODS}, crossref = {conf/pods/2002}, editor = {Popa, Lucian and Abiteboul, Serge and Kolaitis, Phokion G.}, ee = {https://www.wikidata.org/entity/Q57495607}, interhash = {44374b0c9424395a4a5b710a1e83f3ab}, intrahash = {975b639241bb83c5f10efc5f7132b793}, isbn = {1-58113-507-6}, keywords = {dblp}, pages = {259-270}, publisher = {ACM}, timestamp = {2019-10-22T15:02:54.000+0200}, title = {On Verifying Consistency of XML Specifications.}, url = {http://dblp.uni-trier.de/db/conf/pods/pods02.html#ArenasFL02}, year = 2002 }