Keeping phenomenologists informed since May 2002
1122-1151 (print)
1572-8390 (online)
Springer
The normal-form decision method in the combined calculus
Vol. 28/4
Lei Ma
Volume
Title
Author