LAD and SMT

CRMI
BIET (1) (1) (2)