1991 | ||
---|---|---|
2 | P. H. Cheong, Laurent Fribourg: A Survey of the Implementations of Narrowing. Declarative Programming 1991: 177-187 | |
1 | P. H. Cheong, Laurent Fribourg: Efficient Integration of Simplifications into Prolog. PLILP 1991: 359-370 |
1 | Laurent Fribourg | [1] [2] |