1993
Report
Title

A pool calculus with equality

Author(s)
Petermann, U.
Publisher
Publishing Place
Sankt Augustin
Language
English