1999 | ||
---|---|---|
2 | R. Arruabarrena, Paqui Lucio, Marisa Navarro: A Strong Logic Programming View for Static Embedded Implications. FoSSaCS 1999: 56-72 | |
1996 | ||
1 | R. Arruabarrena, Marisa Navarro: On Extended Logic Languages supporting Program Structuring. APPIA-GULP-PRODE 1996: 191-206 |
1 | Paqui Lucio | [2] |
2 | Marisa Navarro | [1] [2] |