The ins and outs of first-order runtime verification
scientific article; zbMATH DE number 6502572
scientific article