Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!psuvax1!rutgers!netnews.upenn.edu!linc.cis.upenn.edu!lang
From: lang@linc.cis.upenn.edu (Francois-Michel Lang)
Newsgroups: comp.lang.prolog
Subject: seeking reference to paper
Message-ID: <40703@netnews.upenn.edu>
Date: 8 Apr 91 17:25:30 GMT
Sender: news@netnews.upenn.edu
Reply-To: lang@linc.cis.upenn.edu (Francois-Michel Lang)
Organization: University of Pennsylvania
Lines: 30
Nntp-Posting-Host: linc.cis.upenn.edu


I have an old photocopy of a paper/tech report by Herve Gallaire
and Claudine Lasserre entitled

   "Forward and Backward Execution Control
    in Horn Clauses Logic Programming"

that I'd like to cite in a paper, but I have no idea where it appeared,
and I've never run into a reference to it.  I would imagine the paper
appeared around 1980, since its content is almost identical to another
paper by G & L,

 @INCOLLECTION{MetalevelControl,
	AUTHOR="Herv\'e Gallaire and Claudine Lasserre",
	TITLE="Metalevel Control for Logic Programs",
	BOOKTITLE="Logic Programming",
	EDITOR={K. L. Clark and Sten-\AA ke T\"arnlund},
	PAGES="173-185",
	PUBLISHER="Academic Press",
	ADDRESS="London",
	YEAR=1982
	}

which *is* frequently cited.
Any information about where/when the mystery paper appeared or how it
should be cited would be greatly appreciated!
----------------------------------------------------------------------------
Francois-Michel Lang
Paoli Research Center, Unisys Corporation lang@prc.unisys.com (215) 648-2536
Dept of Comp & Info Science, U of PA      lang@cis.upenn.edu