Bednarczyk. Logic of Predicates with Explicit Substitutions. Springer Berlin Heidelberg, 1996, doi:10.1007/3-540-61550-4_148.