B. Martens and D. De Schreye. Automatic finite unfolding using well-founded measures. The Journal of Logic Programming, 28(2):89--146, August 1996. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Homeomorphic Embedding for Online Termination - Leuschel (1998) (2 citations) (Correct)
A Polyvariant Binding-Time Analysis for Off-line Partial .. - Bruynooghe, Leuschel.. (1998) (Correct)
A Program Specialiser for Meta-level Compositions of Logic.. - Brogi, Contiero (1996) (2 citations) (Correct)
Efficient Specialisation in Prolog Using a Hand-Written.. - Leuschel, Jørgensen (1999) (Correct)
Sonic Partial Deduction - Jonathan Martin, Michael Leuschel (1999) (3 citations) (Correct)
Homeomorphic Embedding for Online Termination - Leuschel (1998) (2 citations) (Correct)
The ECCE Partial Deduction System - Leuschel (4 citations) (Correct)
Specialising The Other Way Around - Vanhoof, Martens, De Schreye, De.. (1998) (4 citations) Self-citation (Martens De schreye) (Correct)
Some Achievements and Prospects in Partial Deduction - Leuschel, Martens, De Schreye (1998) (5 citations) Self-citation (Martens De schreye) (Correct)
To Parse or Not To Parse - Vanhoof, Martens (1997) (9 citations) Self-citation (Martens) (Correct)
Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (3 citations) Self-citation (De schreye) (Correct)
Constrained Partial Deduction and the Preservation of.. - Leuschel, De Schreye (1997) (7 citations) Self-citation (De schreye) (Correct)
Controlling Conjunctive Partial Deduction - Glück, Jørgensen, Martens.. (1996) Self-citation (Martens) (Correct)
Conjunctive Partial Deduction: Foundations.. - De Schreye.. (1994) Self-citation (Martens De schreye) (Correct)
Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (3 citations) Self-citation (De schreye) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC