Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!ub!rapaport
From: rapaport@acsu.buffalo.edu (William J. Rapaport)
Newsgroups: comp.ai
Subject: Re: Converting between FC and BC
Message-ID: <42206@eerie.acsu.Buffalo.EDU>
Date: 23 Oct 90 16:55:37 GMT
References: <9284@helios.TAMU.EDU>
Sender: news@acsu.Buffalo.EDU
Distribution: usa
Organization: State University of New York at Buffalo/Comp Sci
Lines: 11
Nntp-Posting-Host: adara.cs.buffalo.edu

In article <9284@helios.TAMU.EDU> terry@cs.tamu.edu (Terry Escamilla) writes:
>Does anyone have any references on problems, issues, etc., 
>on converting between forward and backward chaining in
>reasoning systems?

Try this:

Shapiro, Stuart C.; Martins, Joao P.; & McKay, Donald P. (1982),
``Bi-Directional Inference,'' Proceedings of the Fourth Annual
Conference of the Cognitive Science Society (Ann Arbor, Michigan)
(Hillsdale, NJ:  Lawrence Erlbaum Associates):  90-93.