Proof systems for planning under 0-approximation semantics
scientific article; zbMATH DE number 6512374