Switch to: References

Add citations

You must login to add citations.
  1. Logic programs, well-orderings and forward chaining.V. W. Marek, A. Nerode & J. B. Remmel - 1999 - Annals of Pure and Applied Logic 96 (1-3):231-276.
    Download  
     
    Export citation  
     
    Bookmark   2 citations