@techreport{R090.023,
author={De Bosschere, K.},
title={Semantics of Horn Clause Logic},
booktitle={LEM, Technical Report},
year={1990},
month={11},
number={DG90-06},
publisher={Laboratorium voor Electronica en Meettechniek},
series={Interne Rapporten LEM DG},
address={Gent},
}