Two Extensions of PX system

Susumu Hayashi, Masakazu Ishikawa, Satoshi Kobayashi, Hiroshi Nakano, Syuichi Nakazaki. Two Extensions of PX system. Electronic Notes in Theoretical Computer Science, 3:88, 1996. [doi]

Abstract

Abstract is missing.