On Relations between the Dynamic Choice Constructs and the Stable Semantics. - Françoise Gire; H. Khanh Hoang (BDA, 1995)

A More Expressive Deterministic Query Language with Efficient Symmetry-Based Choice Construct. - Françoise Gire; H. Khanh Hoang (Logic in Databases, 1996)

Choice Construct and Lindström Logics. - H. Khanh Hoang (CSL, 1998)

An Extension of Fixpoint Logic with a Symmetry-Based Choice Construct. - Françoise Gire; H. Khanh Hoang (Inf. Comput., 1998)