Skip to content

Forgetting Auxiliary Atoms in Forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal

VenueBLPNMR
Year2017
ProceedingsASPOCP@LPNMR

Browse the full LPNMR paper archive.