Capturing constrained constructor patterns in matching logic Xiaohong Chen and Grigore Rosu and Dorel Lucanu J. Log. Algebraic Methods Program. 130: 100810 (2023) BIB
