View of Horn clause programs on abstract structures with parameters

Return to Article Details Horn clause programs on abstract structures with parameters Download Download PDF