"Guarded"

Deduction Chains and DC-like Decision Procedure for Guarded Logic Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 53 - 65