Xref: utzoo comp.lang.prolog:3749 sci.logic:1133
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!turpin
From: turpin@cs.utexas.edu (Russell Turpin)
Newsgroups: comp.lang.prolog,sci.logic
Subject: Looking for papers by Mike Kieffer of SUNY
Message-ID: <18345@cs.utexas.edu>
Date: 6 Mar 91 22:52:50 GMT
Followup-To: poster
Organization: UTexas CS Dept, Austin, Texas
Lines: 10

-----
I am looking for papers on the intersection of logic programming
and object-oriented programming.  (Most of the ones of which I am
aware concern equational theories and moving algebraic type
definitions into logic languages.)

Someone suggested that I look at some work by Mike Kieffer (sp?)
of SUNY.  Unfortunately, I don't have a specific reference.  Can
anyone out there fill me in?

Russell