Time Complexity of Proof search Procedure for K4

Bulletin of the Section of Logic, Tom 32, Numer 4 (2003) s. 201-211
Toshimasa Matsumoto

 

do góry