default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLaurent D. Michel
Laurent Michel
Person information
- affiliation: University of Connecticut, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c77]Fabio Tardivo, Laurent Michel, Enrico Pontelli
:
CP for Bin Packing with Multi-Core and GPUs. CP 2024: 28:1-28:19- [i9]Fabio Tardivo, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Bin Packing Constraint. CoRR abs/2402.14821 (2024) - 2023
- [j32]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint propagation on GPU: A case study for the AllDifferent constraint. J. Log. Comput. 33(8): 1734-1752 (2023) - [j31]Devon Callahan, Timothy Curry, Hazel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel:
FASHION: Functional and Attack Graph Secured HybrId Optimization of Virtualized Networks. IEEE Trans. Dependable Secur. Comput. 20(4): 3093-3109 (2023) - [c76]Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve:
Optimization Bounds from Decision Diagrams in Haddock. CPAIOR 2023: 150-166 - [c75]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint. CPAIOR 2023: 336-353 - [c74]Waldemar Cruz, Laurent D. Michel, Benjamin Drozdenko, Steven Roodbeen:
ML and Network Traces to M.A.R.S. CSR 2023: 240-245 - 2022
- [j30]Fanghui Liu, Waldemar Cruz, Laurent Michel:
A comprehensive tolerant algebraic side-channel attack over modern ciphers using constraint programming. J. Cryptogr. Eng. 12(2): 197-228 (2022) - [c73]Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli:
Constraints propagation on GPU: A case study for AllDifferent. CILC 2022: 61-74 - [c72]Timothy Curry, Gabriel De Pace, Benjamin Fuller, Laurent Michel, Yan Lindsay Sun:
DUELMIPs: Optimizing SDN Functionality and Security. CP 2022: 17:1-17:18 - [c71]Rebecca Gentzel, Laurent Michel, Willem-Jan van Hoeve:
Heuristics for MDD Propagation in HADDOCK. CP 2022: 24:1-24:17 - 2021
- [j29]Laurent D. Michel, Pierre Schaus, Pascal Van Hentenryck:
MiniCP: a lightweight solver for constraint programming. Math. Program. Comput. 13(1): 133-184 (2021) - [e2]Laurent D. Michel:
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021. LIPIcs 210, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-211-2 [contents] - 2020
- [c70]Rebecca Gentzel, Laurent Michel, Willem Jan van Hoeve:
HADDOCK: A Language and Architecture for Decision Diagram Compilation. CP 2020: 531-547 - [i8]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
An efficient constraint based framework forhandling floating point SMT problems. CoRR abs/2002.12441 (2020) - [i7]Heytem Zitoun, Claude Michel, Laurent Michel, Michel Rueher:
Bringing freedom in variable choice when searching counter-examples in floating point programs. CoRR abs/2002.12447 (2020)
2010 – 2019
- 2019
- [c69]Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel:
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. ACISP 2019: 456-474 - [c68]Waldemar Cruz, Fanghui Liu, Laurent Michel:
A Counting-Based Approach to Scalable Micro-service Deployment. CPAIOR 2019: 192-207 - [i6]Timothy Curry, Devon Callahan, Benjamin Fuller, Laurent Michel:
DOCSDN: Dynamic and Optimal Configuration of Software-Defined Networks. CoRR abs/1902.05988 (2019) - [i5]Devon Callahan, Timothy Curry, Daniel Davidson, Heytem Zitoun, Benjamin Fuller, Laurent Michel:
FASHION: Functional and Attack graph Secured HybrId Optimization of virtualized Networks. CoRR abs/1910.07921 (2019) - 2018
- [j28]Laurent Michel, Maciej Zworski:
A Semiclassical Approach to the Kramers-Smoluchowski Equation. SIAM J. Math. Anal. 50(5): 5362-5379 (2018) - [c67]Fanghui Liu, Waldemar Cruz, Laurent Michel:
A Complete Tolerant Algebraic Side-Channel Attack for AES with CP. CP 2018: 259-275 - [c66]Waldemar Cruz, Fanghui Liu, Laurent Michel:
Securely and Automatically Deploying Micro-services in an Hybrid Cloud Infrastructure. CP 2018: 613-628 - [r2]Laurent Michel, Pascal Van Hentenryck:
Constraint-Based Local Search. Handbook of Heuristics 2018: 223-260 - 2017
- [j27]Laurent D. Michel, Pascal Van Hentenryck:
A microkernel architecture for constraint programming. Constraints An Int. J. 22(2): 107-151 (2017) - [c65]Laurent D. Michel, Michel Rueher:
What's Hot in Constraint Programming. AAAI 2017: 5073-5075 - [c64]Chujiao Ma, John A. Chandy, Laurent Michel, Fanghui Liu, Waldemar Cruz:
Influence of Error on Hamming Weights for ASCA. Inscrypt 2017: 447-460 - [c63]Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel:
A Tolerant Algebraic Side-Channel Attack on AES Using CP. CP 2017: 189-205 - [c62]Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel:
Search Strategies for Floating Point Constraint Systems. CP 2017: 707-722 - [c61]Wei Yan, Daniel Fontaine, John A. Chandy, Laurent Michel:
A design flow with integrated verification of requirements and faults in safety-critical systems. SoSE 2017: 1-6 - 2016
- [c60]Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck:
Parallel Composition of Scheduling Solvers. CPAIOR 2016: 159-169 - [c59]Laurent Michel, Daniel Fontaine:
Model Combinators in the Scheduling Domain. ISAIM 2016 - 2015
- [j26]Laurent Michel:
Introduction to the fast track issue for CPAIOR 2015. Constraints An Int. J. 20(3): 283-284 (2015) - [e1]Laurent Michel:
Integration of AI and OR Techniques in Constraint Programming - 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings. Lecture Notes in Computer Science 9075, Springer 2015, ISBN 978-3-319-18007-6 [contents] - 2014
- [j25]Deoyani Nandrekar-Heinis, Laurent Michel, Mireille Louys, François Bonnarel:
The Table Access Protocol: Providing standard access to astronomical data. Astron. Comput. 7-8: 37-44 (2014) - [j24]Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau:
Building an archive with Saada. Astron. Comput. 7-8: 45-51 (2014) - [j23]Laurent Michel, Marco Picasso, Daniel Farinotti, Martin Funk, Heinz Blatter:
Estimating the ice thickness of shallow glaciers from surface topography and mass-balance data with a shape optimization algorithm. Comput. Geosci. 66: 182-199 (2014) - [c58]Daniel Fontaine, Laurent D. Michel, Pascal Van Hentenryck:
Constraint-Based Lagrangian Relaxation. CP 2014: 324-339 - [c57]Pascal Van Hentenryck, Laurent D. Michel:
Domain Views for Constraint Programming. CP 2014: 705-720 - [c56]Laurent D. Michel, Alexander A. Shvartsman, Nikolaj Volgushev:
A Systematic Approach to Analyzing Voting Terminal Event Logs. EVT/WOTE 2014 - [i4]Laurent Michel, Pascal Van Hentenryck:
A Microkernel Architecture for Constraint Programming. CoRR abs/1401.5334 (2014) - [i3]Pascal Van Hentenryck, Laurent Michel:
Domain Views for Constraint Programming. CoRR abs/1401.5341 (2014) - [i2]Laurent Michel, Christian Motch, Hoan Ngoc Nguyen, François-Xavier Pineau:
Building an Archive with Saada. CoRR abs/1409.0351 (2014) - 2013
- [c55]Bing Yan, Peter B. Luh, Biao Sun, Chen Song, Chenhui Dong, Zhongxue Gan, Laurent D. Michel:
Energy-efficient management of eco-communities. CASE 2013: 106-111 - [c54]Pascal Van Hentenryck, Laurent Michel:
The Objective-CP Optimization System. CP 2013: 8-29 - [c53]Daniel Fontaine, Laurent Michel, Pascal Van Hentenryck:
Model Combinators for Hybrid Optimization. CP 2013: 299-314 - [c52]Russell J. Jancewicz, Aggelos Kiayias, Laurent D. Michel, Alexander Russell, Alexander A. Shvartsman:
Malicious takeover of voting systems: arbitrary code execution on optical scan voting terminals. SAC 2013: 1816-1823 - 2012
- [j22]Hang Dinh, Hieu T. Dinh, Laurent Michel, Alexander Russell:
The Time Complexity of A* with Approximate Heuristics on Multiple-Solution Search Spaces. J. Artif. Intell. Res. 45: 685-729 (2012) - [c51]Laurent D. Michel:
Constraint Programming and a Usability Quest. CP 2012: 1 - [c50]Laurent D. Michel, Pascal Van Hentenryck:
Constraint Satisfaction over Bit-Vectors. CP 2012: 527-543 - [c49]Daniel Fontaine, Laurent Michel:
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. CPAIOR 2012: 180-194 - [c48]Laurent Michel, Pascal Van Hentenryck:
Activity-Based Search for Black-Box Constraint Programming Solvers. CPAIOR 2012: 228-243 - [c47]Seda Davtyan, Aggelos Kiayias, Laurent Michel, Alexander Russell, Alexander A. Shvartsman:
Integrity of electronic voting systems: fallacious use of cryptography. SAC 2012: 1486-1493 - 2011
- [j21]Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal deployment of eventually-serializable data services. Ann. Oper. Res. 184(1): 273-294 (2011) - [j20]Pierre Schaus, Pascal Van Hentenryck, Jean-Noël Monette, Carleton Coffrin, Laurent Michel, Yves Deville:
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS. Constraints An Int. J. 16(2): 125-147 (2011) - [c46]Samir A. Mohamed Elsayed, Laurent Michel:
Synthesis of Search Algorithms from High-Level CP Models. CP 2011: 256-270 - [i1]Laurent D. Michel, Pascal Van Hentenryck:
Activity-Based Search for Black-Box Contraint-Programming Solvers. CoRR abs/1105.6314 (2011) - 2010
- [j19]Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel:
A framework of composable access control features: Preserving separation of access control concerns from models to code. Comput. Secur. 29(3): 350-379 (2010) - [j18]Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel:
A framework for security assurance of access control enforcement code. Comput. Secur. 29(7): 770-784 (2010) - [j17]Thuong Doan, Steven A. Demurjian, Laurent Michel, Solomon Berhe:
Integrating Access Control into UML for Secure Software Modeling and Analysis. Int. J. Secur. Softw. Eng. 1(1): 1-19 (2010) - [c45]Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Load Balancing and Almost Symmetries for RAMBO Quorum Hosting. CP 2010: 598-612 - [c44]Laurent D. Michel:
Parallelizing constraint programs. DAMP 2010: 3-4
2000 – 2009
- 2009
- [j16]Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-driven visualizations of constraint-based local search. Constraints An Int. J. 14(3): 294-324 (2009) - [j15]Laurent D. Michel, Andrew See, Pascal Van Hentenryck:
Parallel and distributed local search in COMET. Comput. Oper. Res. 36(8): 2357-2375 (2009) - [j14]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Transparent Parallelization of Constraint Programming. INFORMS J. Comput. 21(3): 363-382 (2009) - [j13]Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Alexander A. Shvartsman:
State-wide elections, optical scan voting systems, and the pursuit of integrity. IEEE Trans. Inf. Forensics Secur. 4(4): 597-610 (2009) - [c43]Laurent Michel, Martijn Moraal, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Online Selection of Quorum Systems for RAMBO Reconfiguration. CP 2009: 88-103 - [c42]Laurent D. Michel, Pascal Van Hentenryck, Elaine L. Sonderegger, Alexander A. Shvartsman, Martijn Moraal:
Bandwidth-Limited Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2009: 193-207 - [c41]Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent D. Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman:
Taking total control of voting systems: firmware manipulations on an optical scan voting terminal. SAC 2009: 2049-2053 - [c40]Carleton Coffrin, Laurent D. Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimizing Network Deployment of Formally-Specified Distributed Systems. SEDE 2009: 230-237 - [c39]Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Alexander A. Shvartsman:
Automating Voting Terminal Event Log Analysis. EVT/WOTE 2009 - 2008
- [c38]Laurent Michel, Alexander A. Shvartsman, Elaine L. Sonderegger, Pascal Van Hentenryck:
Optimal Deployment of Eventually-Serializable Data Services. CPAIOR 2008: 188-202 - [c37]Pascal Van Hentenryck, Laurent Michel:
The Steel Mill Slab Design Problem Revisited. CPAIOR 2008: 377-381 - [c36]Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel:
A Framework of Composable Access Control Definition, Enforcement and Assurance. SCCC 2008: 13-22 - [c35]Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas C. Nicolaou, Alexander Russell, Andrew See, Narasimha K. Shashidhar, Alexander A. Shvartsman:
Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. EVT 2008 - 2007
- [c34]Pascal Van Hentenryck, Laurent D. Michel:
Synthesis of Constraint-Based Local Search Algorithms from High-Level Models. AAAI 2007: 273-279 - [c33]Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha K. Shashidhar, Andrew See, Alexander A. Shvartsman, Seda Davtyan:
Tampering with Special Purpose Trusted Computing Devices: A Case Study in Optical Scan E-Voting. ACSAC 2007: 30-39 - [c32]Bo Xiong, Peter B. Luh, Shi-Chung Chang, Laurent D. Michel, Andrew See:
Coherent Modeling and Effective Coordination for Building Emergency Evacuation. CASE 2007: 670-677 - [c31]Grégoire Dooms, Pascal Van Hentenryck, Laurent Michel:
Model-Driven Visualizations of Constraint-Based Local Search. CP 2007: 271-285 - [c30]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Parallelizing Constraint Programs Transparently. CP 2007: 514-528 - [c29]Aggelos Kiayias, Laurent Michel, Alexander Russell, Narasimha Sashidar, Andrew See, Alexander A. Shvartsman:
An Authentication and Ballot Layout Attack Against an Optical Scan Voting Terminal. EVT 2007 - 2006
- [j12]Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. Constraints An Int. J. 11(4): 353-373 (2006) - [j11]Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A simulated annealing approach to the traveling tournament problem. J. Sched. 9(2): 177-193 (2006) - [c28]Andrew See, Laurent D. Michel, Bo Xiong, Peter B. Luh, Shi-Chung Chang:
Transportation and HVAC Systems for Building Emergency Evacuation. CASE 2006: 363-368 - [c27]Laurent Michel, Andrew See, Pascal Van Hentenryck:
Distributed Constraint-Based Local Search. CP 2006: 344-358 - [c26]Laurent Michel, Andrew See, Pascal Van Hentenryck:
High-Level Nondeterministic Abstractions in. CP 2006: 359-374 - [c25]Pascal Van Hentenryck, Laurent Michel:
Differentiable Invariants. CP 2006: 604-619 - [c24]Thuong Doan, Laurent Michel, Steven A. Demurjian:
A Formal Framework for Secure Design and Constraint Checking in UML. ISSSE 2006 - [r1]Thom W. Frühwirth, Laurent Michel, Christian Schulte:
Constraints in Procedural and Concurrent Languages. Handbook of Constraint Programming 2006: 453-494 - 2005
- [b3]Pascal Van Hentenryck, Laurent Michel:
Constraint-based local search. MIT Press 2005, ISBN 978-0-262-22077-4, pp. I-XIX, 1-422 - [j10]Pascal Van Hentenryck, Laurent Michel:
Control Abstractions for Local Search. Constraints An Int. J. 10(2): 137-157 (2005) - [j9]Irit Katriel, Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally. Constraints An Int. J. 10(2): 159-183 (2005) - [j8]Pascal Van Hentenryck, Laurent Michel, Liyuan Liu:
Contraint-Based Combinators for Local Search. Constraints An Int. J. 10(4): 363-384 (2005) - [j7]Laurent Michel, Pascal Van Hentenryck:
A Modeling Layer for Constraint-Programming Libraries. INFORMS J. Comput. 17(4): 389-401 (2005) - [c23]Peter B. Luh, Laurent Michel, Eugene Santos Jr., Danqing Yu, Andrew See, Bo Xiong, Greg Johnson, Shi-Chung Chang:
Coherent configuration and operation of building transportation systems. CASE 2005: 178-184 - [c22]Laurent Michel, Pascal Van Hentenryck:
Parallel Local Search in Comet. CP 2005: 430-444 - [c21]Laurent Michel, Pascal Van Hentenryck:
The Comet Programming Language and System. CP 2005: 881-881 - [c20]Pascal Van Hentenryck, Laurent Michel:
Nondeterministic Control for Hybrid Search. CPAIOR 2005: 380-395 - [c19]Jaime A. Pavlich-Mariscal, Thuong Doan, Laurent Michel, Steven A. Demurjian, T. C. Ting:
Role Slices: A Notation for RBAC Permission Assignment and Enforcement. DBSec 2005: 40-53 - [c18]Thuong Doan, Laurent D. Michel, Steven A. Demurjian, T. C. Ting:
Stateful Design for Secure Information Systems. WOSIS 2005: 277-286 - [c17]Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel:
A Framework for Composable Security Definition, Assurance, and Enforcement. MoDELS (Satellite Events) 2005: 353-354 - [c16]Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian:
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. MoDELS 2005: 537-552 - 2004
- [j6]Laurent Michel, Pascal Van Hentenryck:
A simple tabu search for warehouse location. Eur. J. Oper. Res. 157(3): 576-591 (2004) - [j5]Laurent Michel, Pascal Van Hentenryck:
A decomposition-based implementation of search strategies. ACM Trans. Comput. Log. 5(2): 351-383 (2004) - [c15]Laurent Michel, Pascal Van Hentenryck:
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling. ICAPS 2004: 200-208 - [c14]Pascal Van Hentenryck, Laurent Michel, Liyuan Liu:
Constraint-Based Combinators for Local Search. CP 2004: 47-61 - [c13]Pascal Van Hentenryck, Laurent Michel:
Scheduling Abstractions for Local Search. CPAIOR 2004: 319-334 - 2003
- [c12]Laurent Michel, Pascal Van Hentenryck:
Comet in Context. PCK50 2003: 95-107 - [c11]Pascal Van Hentenryck, Laurent Michel:
Control Abstractions for Local Search. CP 2003: 65-80 - [c10]Laurent Michel, Pascal Van Hentenryck:
Maintaining Longest Paths Incrementally. CP 2003: 540-554 - [c9]Aris Anagnostopoulos, Laurent Michel, Pascal Van Hentenryck, Yannis Vergados:
A Simulated Annealing Approach to the Travelling Tournament Problem. IJCAI 2003: 1357-1358 - 2002
- [c8]Laurent Michel, Pascal Van Hentenryck:
A constraint-based architecture for local search. OOPSLA 2002: 83-100 - 2000
- [j4]Laurent Michel, Pascal Van Hentenryck:
Localizer. Constraints An Int. J. 5(1/2): 43-84 (2000)
1990 – 1999
- 1999
- [b2]Laurent D. Michel:
LOCALIZER A Modeling Language for Local Search. Brown University, USA, 1999 - [j3]Laurent D. Michel, Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. INFORMS J. Comput. 11(1): 1-14 (1999) - [c7]Pascal Van Hentenryck, Laurent Michel:
OPL Script: Composing and Controlling Models. New Trends in Constraints 1999: 75-90 - [c6]Pascal Van Hentenryck, Laurent Michel, Philippe Laborie, Wim Nuijten, Jerome Rogerie:
Combinatorial Optimization in OPL Studio. EPIA 1999: 1-15 - [c5]Pascal Van Hentenryck, Laurent Michel, Laurent Perron, Jean-Charles Régin:
Constraint Programming in OPL. PPDP 1999: 98-116 - 1998
- [j2]Pascal Van Hentenryck, Laurent Michel, Frédéric Benhamou:
Newton - Constraint Programming over Nonlinear Constraints. Sci. Comput. Program. 30(1-2): 83-118 (1998) - 1997
- [b1]Pascal Van Hentenryck, Laurent Michel, Yves Deville:
Numerica - A Modeling Language for Global Optimization. MIT Press 1997, ISBN 978-0-262-72027-4, pp. I-XVII, 1-210 - [j1]Laurent Michel, Pascal Van Hentenryck:
Helios: A Modeling Language for Global Optimization and its Implementation in Newton. Theor. Comput. Sci. 173(1): 3-48 (1997) - [c4]Laurent Michel, Pascal Van Hentenryck:
Localizer: A Modeling Language for Local Search. CP 1997: 237-251 - [c3]Laurent Michel, Jean-Francois Puget:
Interval Methods for Non-linear Constraints. CP 1997: 371 - 1993
- [c2]Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier, Laurent Michel:
The Impact of Granularity in Abstract Interpretation of Prolog. WSA 1993: 1-14 - [c1]