@techreport{hinrichs2006object,
title="Object Oriented Constraint Satisfaction Problems"
author="Timothy Hinrichs and Nathaniel Love and Michael Genesereth",
institution="Stanford University",
number="LG-2006-03",
address="Stanford, CA",
year="2006",
note="http://logic.stanford.edu/reports/LG-2006-03.pdf"
}