"hybrid languages"

A General Local Search Solver for FlatZinc

Programming in textsfAlma-0, or Imperative and Declarative Programming Reconciled

The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming

textsfAlma-0: An Imperative Language that Supports Declarative Programming

Search and Imperative Programming

textsfAlma-0: An Imperative Language that Supports Declarative Programming