학술논문
Ground confluence of order-sorted conditional specifications modulo axioms
Document Type
Article
Author
Source
In Journal of Logical and Algebraic Methods in Programming February 2020 111
Subject
Language
ISSN
2352-2208