Christopher Béatrix
发表
Igor Stéphan,
Laurent Garcia,
Claire Lefèvre,
2017,
Theory Pract. Log. Program..
Christopher Béatrix,
2016
.
Igor Stéphan,
Laurent Garcia,
Claire Lefèvre,
2016,
ICLP.