@InProceedings{ dix92aframework, author = {J\"{u}rgen Dix}, title = {{A} {F}ramework for {R}epresenting and {C}haracterizing {S}emantics of {L}ogic {P}rograms}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference (KR '92)}, editor = {B. Nebel and C. Rich and W. Swartout}, pages = {591--602}, publisher = {Morgan Kaufmann}, organization = {San Mateo, CA}, year = {1992} }