%0 Conference Paper %1 conf/context/BouquetMSZ03 %A Bouquet, Paolo %A Magnini, Bernardo %A Serafini, Luciano %A Zanobini, Stefano %B CONTEXT %D 2003 %E Blackburn, Patrick %E Ghidini, Chiara %E Turner, Roy M. %E Giunchiglia, Fausto %I Springer %K dblp %P 66-79 %T A SAT-Based Algorithm for Context Matching. %U http://dblp.uni-trier.de/db/conf/context/context2003.html#BouquetMSZ03 %V 2680 %@ 3-540-40380-9

@inproceedings{conf/context/BouquetMSZ03, added-at = {2017-05-23T00:00:00.000+0200}, author = {Bouquet, Paolo and Magnini, Bernardo and Serafini, Luciano and Zanobini, Stefano}, biburl = {https://www.bibsonomy.org/bibtex/24002060d1d5d6b0a148a82fb60c5168f/dblp}, booktitle = {CONTEXT}, crossref = {conf/context/2003}, editor = {Blackburn, Patrick and Ghidini, Chiara and Turner, Roy M. and Giunchiglia, Fausto}, ee = {https://doi.org/10.1007/3-540-44958-2_6}, interhash = {b866059926075470608b13e1845e5650}, intrahash = {4002060d1d5d6b0a148a82fb60c5168f}, isbn = {3-540-40380-9}, keywords = {dblp}, pages = {66-79}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:11:31.000+0200}, title = {A SAT-Based Algorithm for Context Matching.}, url = {http://dblp.uni-trier.de/db/conf/context/context2003.html#BouquetMSZ03}, volume = 2680, year = 2003 }