@article {D:cpm,
	title = {A completeness-proof method for extensions of the implicational fragment of the propositional calculus},
	journal = {Notre Dame Journal of Formal Logic},
	volume = {21},
	year = {1980},
	pages = {509{\textendash}517},
	author = {Batens, Diderik}
}
