2 records found
1
Program equilibrium¿a program reasoning approach
On two perspectives in decomposing constraint systems