Switch to: References

Add citations

You must login to add citations.
  1. Higher-Order Unification: A structural relation between Huet's method and the one based on explicit substitutions.Flávio L. C. de Moura, Mauricio Ayala-Rincón & Fairouz Kamareddine - 2008 - Journal of Applied Logic 6 (1):72-108.
    Download  
     
    Export citation  
     
    Bookmark