Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order
scientific article; zbMATH DE number 4172955