@techreport{hinrichs2006herbrand,
title="Herbrand Logic"
author="Timothy Hinrichs and Michael Genesereth",
institution="Stanford University",
number="LG-2006-02",
address="Stanford, CA",
year="2006",
note="http://logic.stanford.edu/reports/LG-2006-02.pdf"
}