Alberto Momigliano, Frank Pfenning
The Relative Complement Problem for Higher-Order Patterns
ICLP, 1999.
@inproceedings{ICLP-1999-MomiglianoP,
author = "Alberto Momigliano and Frank Pfenning",
booktitle = "{Proceedings of the 15th International Conference on Logic Programming}",
isbn = "0-262-54104-1",
pages = "380--394",
publisher = "{MIT Press}",
title = "{The Relative Complement Problem for Higher-Order Patterns}",
year = 1999,
}