Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
KRIENER, JAEL
and
KING, ANDY
2011.
RedAlert: Determinacy inference for Prolog.
Theory and Practice of Logic Programming,
Vol. 11,
Issue. 4-5,
p.
537.
Giesl, Jürgen
Ströder, Thomas
Schneider-Kamp, Peter
Emmes, Fabian
and
Fuhs, Carsten
2012.
Symbolic evaluation graphs and term rewriting.
p.
1.
Senni, Valerio
and
Fioravanti, Fabio
2012.
Tests and Proofs.
Vol. 7305,
Issue. ,
p.
115.
Kriener, Jael
King, Andy
and
Blazy, Sandrine
2013.
Proofs you can believe in.
p.
37.
Umeda, Masanobu
Naruse, Ryoto
Sone, Hiroaki
and
Katamine, Keiichi
2013.
Applications of Declarative Programming and Knowledge Management.
Vol. 7773,
Issue. ,
p.
41.
Kriener, Jael
and
King, Andy
2014.
Functional and Logic Programming.
Vol. 8475,
Issue. ,
p.
270.
KWON, Keehang
and
KANG, Daeseong
2023.
Choice Disjunctive Queries in Logic Programming.
IEICE Transactions on Information and Systems,
Vol. E106.D,
Issue. 3,
p.
333.