Lex Bijlsma, Rob Nederpelt. Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions. Acta Informatica, 35(12):1007-1036, 1998. [doi]
@article{BijlsmaN98,
title = {Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions},
author = {Lex Bijlsma and Rob Nederpelt},
year = {1998},
url = {http://link.springer.de/link/service/journals/00236/bibs/8035012/80351007.htm},
researchr = {https://researchr.org/publication/BijlsmaN98},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {35},
number = {12},
pages = {1007-1036},
}