BibTeX

@inproceedings{ Santos:04,
     author = {P. Santos and D. Magee and A. Cohn},
     title = {Looking for Logic in Vision,},
     booktitle = {Proc. Eleventh Workshop on Automated Reasoning},
     pages = {61-62},
     address = {Leeds},
     year = {2004},
     leeds_file = {santosAISB04.pdf}
}