Reduction to First Degree in Quantificational S5. - Michael J. Carroll (J. Symb. Log., 1979)

Development for SSV on a parallel processing system (PARAGON). - Benny M. Gothard; Mark C. Allmen; Michael J. Carroll; Dan Rich (Mobile Robots, 1995)