chou@maui.cs.ucla.edu (Ching-Tsun Chou) (06/07/91)
Does anyone out there know where and how to obtain a (preferably free) implementation of the computational logic PX as described in the book "PX, a computational logic" by Susumu Hayashi and Hiroshi Nakano? Any pointer is appreciated. Cheers, Ching-Tsun <chou@cs.ucla.edu>