Stable Model implementation of Layer Supported Models by program transformation

Authors

Luís Moniz Pereira, Salvador Abreu, Luís Moniz Pereira, Salvador Abreu, Alexandre Pinto, Deitmar Seipel, Alexandre Pinto, Dietmar Siepel,