On the Many Sorted Closure Operator and the Many Sorted Closure System (2001)

by Artur Kornilowicz
Citations:5 - 2 self